#include "rand.h"

uint32_t xrand() {
    static uint32_t x = 0x19260817;
	x ^= x << 13;
	x ^= x >> 17;
	x ^= x << 5;
	return x;
}